BALA-CARTER TYPE CLASSIFICATION OF NILPOTENT ORBITS OF REAL LIE GROUPS ¨l Alfred G. Noe Abstract. We present a new classification of nilpotent orbits of real reductive Lie

Source URL: www.liegroups.org

A sharp Trudinger-Moser type inequality for unbounded domains in Rn Yuxiang Li and Bernhard Ruf Abstract The Trudinger-Moser inequality states that for functions u ∈ H01,n (Ω) (Ω ⊂ Rn a bounded n

Source URL: faculty.math.tsinghua.edu.cn

The 13th Asian Logic Conference Opposition Inferences and Generalized Quantifiers Ka-fat Chow Abstract Opposition inferences constitute an important type of immediate inferences

Source URL: chowkafat.net

Ethos’ Distributed Types W. Michael Petullo∗ Wenyuan Fei∗ Pat Gavlin† Jon A. Solworth∗ ∗ University of Illinois at Chicago † Microsoft Abstract Programming languages have long incorporated type

Source URL: www.ethos-os.org

Full version of an extended abstract published in AsiacryptD´ej`a Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions Melissa Chase Microsoft Research Redmond

Source URL: eprint.iacr.org

• Algebra
• Abstract algebra
• Lie groups
• Non-associative algebras
• XTR
• Mutation
• Spectral theory

Progress on Hardy-type Inequalities Mu-Fa Chen (Beijing Normal University, Beijing, China) October 4, 2013 Abstract

Source URL: math.bnu.edu.cn

A MODEL FOR A VERY GOOD SCALE AND A BAD SCALE DIMA SINAPOVA Abstract. Given a supercompact cardinal κ and a regular cardinal λ < κ, we describe a type of forcing such that in the generic extension the cofinality of κ

Source URL: homepages.math.uic.edu

REDUCTION OF ELLIPTIC CURVES IN EQUAL CHARACTERISTIC 3 (AND 2) ROLAND AUER AND JAAP TOP Abstract. We determine conductor exponent, minimal discriminant and fibre type for elliptic curves over discrete valued fields of eq

Source URL: www.math.rug.nl

APS poster abstract (500 word limit, current count = 473) Type: Standard poster Title: Mental Models of Viruses, Vaccines, and the Causes of Infectious Disease Subject area: Cognitive psychology, knowledge representation

Source URL: www.worldofviruses.unl.edu

Program Portability Strong Type Checking Lint, a C Program Checker S. C. Johnson ABSTRACT

Source URL: wolfram.schneider.org